| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 488111 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 490098 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 483886 | Di 14:30-16:00 AH III (2350|314.1) (×14) Fr 10:30-12:00 AH III (2350|314.1) (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 491963 | ||
| Theoretical Foundations of the UML (FUML) | Übung | 495718 | Do 08:30-10:00 AH I (2350|028) (×9) | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 495719 | Di 10:30-12:00 AH III (2350|314.1) (×9) Do 10:30-12:00 AH I (2350|028) (×13) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 491945 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 489132 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 485197 | Mo 08:30-10:00 AH III (2350|314.1) (×13) Di 10:30-11:15 AH VI (2356|051) (×12) Fr 08:30-10:00 AH II (2350|111) (×13) |